Dedekind-infinite set